- 2 402 202 книги
- Поиск
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Автор: Dennis Dams, Автор: Ulrich Hannemann, Автор: Martin SteffenКатегория: Компьютеры
Размер книги: 5.37 Mb
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 9.52 Mb
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science (No. 47))
Автор: Willem-Paul de Roever, Автор: Kai Engelhardt
Размер книги: 16.81 Mb
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-27, 2007, Revised Lectures
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 7.96 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: Компьютеры
Размер книги: 3.81 Mb
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор: Dennis Dams, Автор: Ulrich Hannemann, Автор: Martin Steffen
Размер книги: 5.49 Mb
Formal Methods for Components and Objects, 4 conf., FMCO 2005
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.85 Mb
Compositionality: The Significant Difference, COMPOS'97
Автор: Willem-Paul de Roever, Автор: Hans Langmaack, Автор: Amir PnueliКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.82 Mb
Formal Methods for Components and Objects, 5 conf., FMCO 2006
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de RoeverКатегория: CsLn_
Размер книги: 3.18 Mb
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd
Автор: Hans Langmaack, Автор: Willem-Paul de Roever, Автор: Jan Vytopil
Размер книги: 6.86 Mb
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
Автор: Jaco W. de Bakker, Автор: Willem-Paul de Roever, Автор: Grzegorz Rozenberg
Размер книги: 7.52 Mb
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
Автор: Frank S.de Boer, Автор: Marcello Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 4.59 Mb
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Автор: Frank S. de Boer, Автор: Marcello M. Bonsangue, Автор: Susanne Graf, Автор: Willem-Paul de Roever
Размер книги: 3.47 Mb